1. Advanced Educational Technologies for Mathematics and Science
پدیدآورنده : edited by David L. Ferguson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Mathematics.,Zoology.
رده :
QA11
.
A1
E358
1993
2. Algebraic number theory and Fermat's last theorem
پدیدآورنده : / Ian Stewart, David Tall
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebraic number theory,Fermat's last theorem
رده :
E-BOOK
3. Algorithms and complexity in mathematics, epistemology, and science :
پدیدآورنده : editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms, Congresses.,Complexity (Philosophy), Congresses.,Mathematics, Congresses.,Science-- Mathematics, Congresses.,Technological complexity, Congresses.,Algorithms.,Complexity (Philosophy),MATHEMATICS-- Numerical Analysis.,Mathematics.,Science-- Mathematics.,Technological complexity.
رده :
QA9
.
58
4. An invitation to model theory /
پدیدآورنده : Jonathan Kirby, University of East Anglia.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Model theory.,Model theory.
رده :
QA9
.
7
.
K57
2019
5. Applied integer programming
پدیدآورنده : / Der-San Chen, Robert G. Batson, Yu Dang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integer programming
رده :
T57
.
74
.
C454
2010
6. Aspects and Prospects of Theoretical Computer Science :
پدیدآورنده : by Jürgen Dassow, Jozef Kelemen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Information theory.,Informatique -- Congrès.
رده :
QA75
.
5
B958
1990
7. Automata, languages and programming :
پدیدآورنده : ICALP 93. A. Lingas ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Lund <1993>,Theoretische Informatik.
8. Bifurcation Phenomena in Mathematical Physics and Related Topics
پدیدآورنده : edited by Claude Bardos, Daniel Bessis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Chemistry.
9. Birational Geometry, Rational Curves, and Arithmeti
پدیدآورنده : / edited by Fedor Bogomolov, Brendan Hassett, Yuri Tschinkel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Geometry, algebraic,Geometry,Number theory,Electronic books
رده :
E-BOOK
10. Calogero-Moser- Sutherland Models
پدیدآورنده : edited by Jan Felipe Diejen, Luc Vinet.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Physics.
11. Classical Principles and Optimization Problems
پدیدآورنده : by B. S. Razumikhin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics.
12. Classification, Data Analysis, and Knowledge Organization :
پدیدآورنده : edited by Hans-Hermann Bock, Peter Ihm.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data structures (Computer scienc.,Operations research.,Statistics.
رده :
QA276
.
A1
E358
1991
13. Complete theories
پدیدآورنده : Robinson, Abraham
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory,، Fields, Algebraic
رده :
QA
9
.
7
.
R6
1977
14. Complete theories
پدیدآورنده : Robinson, Abraham
موضوع : ، Model theory,، Algebraic fields
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Computation and combinatorics in dynamics, stochastics and control :
پدیدآورنده : Elena Celledoni, Giulia Di Nunno, Kurusch Ebrahimi-Fard, Hans Zanna Munthe-Kaas, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial analysis, Congresses.,Combinatorial analysis.
رده :
QA164
16. Computer Aided Systems Theory - EUROCAST '91 :
پدیدآورنده : by Franz Pichler, Roberto Moreno Diaz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Biology_xData processing.,Computer-aided design.
17. Computer Vision - ECCV'92 :
پدیدآورنده : edited by G. Sandini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer graphics.,Computer science.
18. Computer aided systems theory--EUROCAST '93 :
پدیدآورنده : F. Pichler, R. Moreno Díaz, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer-aided design, Congresses.,Computer-aided engineering, Congresses.
رده :
TA345
.
I62
1993
19. Constraint Databases
پدیدآورنده : edited by Gabriel Kuper, Leonid Libkin, Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Database management.
رده :
QA76
.
9
.
C67
E358
2000